/**
 * Mostra correttamente la finestra di vittoria settando la label contenente
 *  il nome del relativo giocatore.
 */
void actual_winner(unsigned int &g_won, const char *g_pun, const char g_label[], const char g_dialog[]);

/**
 * Vedi documentazione del file windows_settings.cc
 */
extern "C" void show_menu_dialog(GtkMenuItem *menuitem, gpointer user_data);

/**
 * Vedi documentazione del file windows_settings.cc
 */
extern "C" void cancel_clicked_event(GtkWidget *widget, gpointer user_data);

/**
 * Vedi documentazione del file windows_settings.cc
 */
extern "C" void handler_beginner_type(GtkWidget *widget, gpointer user_data);

/**
 * Vedi documentazione del file windows_settings.cc
 */
extern "C" void handler_red_begin(GtkWidget *widget, gpointer user_data);

/**
 * Vedi documentazione del file windows_settings.cc
 */
extern "C" void handler_yellow_begin(GtkWidget *widget, gpointer user_data);

/**
 * Vedi documentazione del file windows_settings.cc
 */
extern "C" void handler_quit_event(GtkWidget *widget, gpointer user_data);

/**
 * Vedi documentazione del file windows_settings.cc
 */
extern "C" void handler_delete_event(GtkWidget *widget, gpointer user_data);

/**
 * Mostra la documentazione invocando firefox
 */
extern "C" void doc_handler(GtkWidget *widget, gpointer data);


